((v1 v2 6) (v1 v3 8) (v2 v3 3))
29
()